Yuliya Lierler: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relating constraint answer set programming languages and algorithms

Lierler, Yuliya

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 409 KB

english, 2014

2

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 ||

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 7.07 MB

english, 2017

3

Constraint answer set solver EZCSP and why integration schemas matter

BALDUCCINI, MARCELLO, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

4

Answer Set Programming Based on Propositional Satisfiability

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 392 KB

english, 2006

5

[Lecture Notes in Computer Science] Correct Reasoning Volume 7265 || The Gödel-Tarski Translations of Intuitionistic Propositional Formulas

Erdem, Esra, Lee, Joohyung, Lierler, Yuliya, Pearce, David

Year:

2012

Language:

english

File:

PDF, 118 KB

english, 2012

6

On elementary loops of logic programs

GEBSER, MARTIN, LEE, JOOHYUNG, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

7

Transition systems for model generators—A unifying approach

LIERLER, YULIYA, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 157 KB

english, 2011

8

Representing first-order causal theories by logic programs

FERRARIS, PAOLO, LEE, JOOHYUNG, LIERLER, YULIYA, LIFSCHITZ, VLADIMIR, YANG, FANGKAI

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

9

Abstract answer set solvers with backjumping and learning

LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 353 KB

english, 2011

10

Disjunctive answer set solvers via templates

BROCHENIN, REMI, MARATEA, MARCO, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 932 KB

english, 2016

11

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || A Declarative DSL for Customizing ASCII Art

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 202 KB

english, 2017

12

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || Extending Answer Set Programs with Interpreted Functions as First-Class Citizens

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 295 KB

english, 2017

13

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || Integrating Answer Set Programming with Object-Oriented Languages

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 314 KB

english, 2017

14

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || A Domain-Specific Language for Software-Defined Radio

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 788 KB

english, 2017

15

First-order modular logic programs and their conservative extensions

HARRISON, AMELIA, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 179 KB

english, 2016

16

What is answer set programming to propositional satisfiability

Journal:

Year:

2017

Language:

english

File:

PDF, 686 KB

english, 2017

17

On relation between constraint answer set programming and satisfiability modulo theories

LIERLER, YULIYA, SUSMAN, BENJAMIN

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 288 KB

english, 2017

18

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) ||

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 14.42 MB

english, 2019

19

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Evaluation of Disjunctive Programs in WASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 473 KB

english, 2019

20

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Internet Routing and Non-monotonic Reasoning

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 388 KB

english, 2019

21

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Assessing Arguments with Schemes and Fallacies

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 314 KB

english, 2019

22

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Telco Network Inventory Validation with NoHR

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 1017 KB

english, 2019

23

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Train Scheduling with Hybrid ASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 383 KB

english, 2019

24

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) ||

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

File:

PDF, 14.42 MB

2019

25

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

File:

PDF, 367 KB

2019

26

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Enhancing DLV for Large-Scale Reasoning

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 431 KB

english, 2019

27

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Telco Network Inventory Validation with NoHR

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

File:

PDF, 1017 KB

2019

28

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Train Scheduling with Hybrid ASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

File:

PDF, 383 KB

2019

29

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Enhancing DLV for Large-Scale Reasoning

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

File:

PDF, 431 KB

2019

30

Modular Answer Set Programming as a Formal Specification Language

CABALAR, PEDRO, FANDINNO, JORGE, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 583 KB

2020